A general first-order solution to the ramification problem with cycles
نویسندگان
چکیده
منابع مشابه
A general first-order solution to the ramification problem with cycles
We provide a solution to the ramification problem that integrates findings of different axiomatic approaches to ramification from the last ten to fifteen years. For the first time, we present a solution that: (1) is independent of a particular time structure, (2) is formulated in classical first-order logic, (3) treats cycles – a notoriously difficult aspect – properly, and (4) is assessed agai...
متن کاملA General First-Order Solution to the Ramification Problem
We present a combined solution to the frame and ramification problems that is independent of the underlying time structure. Indirect effects are expressed through ramification rules that are compiled into first-order effect axioms. To cope with the notorious problem of self-justifying cycles, we use techniques known from translations of normal logic programs to logical theories: cyclic fluent d...
متن کاملA Closed-Form Solution to the Ramification Problem
Our general concern is with how to integrate a representation of action into an existing set of state constraints. As has been observed in the literature, state constraints implicitly define indirect effects of actions as well as indirectly imposing further preconditions on the performance of actions. Thus, any representation scheme we propose must address the ramification and qualification pro...
متن کاملGeneral Solution for Fuzzy Linear Second Order Differential Equation Using First Solution
The fuzzy linear second order equations with fuzzy initial values are investigatedin this paper. The analytic general solution solutions of them usinga rst solution is founded. The parametric form of fuzzy numbers is appliedto solve the second order equations. General solutions for fuzzy linear secondorder equations with fuzzy initial values are investigated and formulatedin four cases. A examp...
متن کاملA Constructive Approach to the Ramification Problem
In the state of the art on the ramification problem, it is acknowledged that ramifications of actions are not logical consequences of state constraints and require explicit representation through causal laws. Yet, causal laws are still tightly coupled with state constraints in that their syntactic form is derived from state constraints or in that they merely serve to restore integrity of state ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2013
ISSN: 1570-8683
DOI: 10.1016/j.jal.2013.05.003